1. Advances in Computer Communication and Computational Sciences :
پدیدآورنده : Sanjiv K. Bhatia, Shailesh Tiwari, Krishn K. Mishra, Munesh C. Trivedi, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Computer networks.,Computer science.
رده :
TK5105
.
5
.
I57
2018
2. Advances in Petri nets, 1984
پدیدآورنده : edited by G. Rozenberg with the cooperation of H. Genrich and G. Roucairol.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Machine theory -- Congresses.,Petri nets -- Congresses.,Pétri, Réseaux de -- Congrès.
رده :
QA267
.
E358
1985
3. Advances in communication, cloud, and big data :
پدیدآورنده : Hiren Kumar Deva Sarma, Samarjeet Borah, Nitul Dutta, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data, Congresses.,Cloud computing, Congresses.,Computer networks, Congresses.,Big data.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
4. Advances in computer science and information technology :
پدیدآورنده : edited by Natarajan Meghanathan, Nabendu Chaki, Dhinaharan Nagamalai.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science -- Congresses.,Computer science.,Information technology -- Congresses.
5. Advances in cryptology -- ASIACRYPT 2018 :
پدیدآورنده : Thomas Peyrin, Steven Galbraith (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data encryption (Computer science), Congresses.,Artificial intelligence.,Coding theory & cryptology.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Network hardware.,Software Engineering.
رده :
QA76
.
9
.
A25
6. Advances in information and computer security
پدیدآورنده : / Isao Echizen, Noboru Kunihiro, Ryoichi Sasaki (eds.
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer security, Congresses,Computer networks, Access control, Congresses,Computer networks, Security measures, Congresses
رده :
QA76
.
9
.
A25I58
2010
7. Advances in wireless sensor networks :
پدیدآورنده : Ruchuan Wang, Fu Xiao (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial Intelligence.,Context-aware computing -- Congresses.,Wireless sensor networks -- Congresses.
رده :
TK7872
.
D48
R834
2013
8. Agreement technologies :
پدیدآورنده : Marin Lujak (ed.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Agreement protocols (Computer network protocols), Congresses.,Multiagent systems, Congresses.,Agreement protocols (Computer network protocols),Multiagent systems.
رده :
QA76
.
76
.
I58
9. Applied Probability-Computer Science:
پدیدآورنده : edited by Ralph L. Disney, Teunis J. Ott.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing -- Congresses.,Science (General),Science.
10. Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops, The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
پدیدآورنده : Manuel Nunez ...]et al.[ )eds(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Formal methods )Computer science(,Congresses ، Electronic data processing -- Distributed processing,Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
3236
11. Automatic verification methods for finite state systems : Proceedings
پدیدآورنده : J. Sifakis )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer network protocols
رده :
QA
76
.
L28
Vol
.
407
12. Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer network protocols-- Congresses
رده :
TK
5105
.
5
.
A97
1990
13. Broadband communications, networks, and systems :
پدیدآورنده : Victor Sucasas, Georgios Mantas, Saud Althunibat (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Broadband communication systems, Congresses.,Broadband communication systems.
رده :
TK5103
.
4
14. Challenges in ad hoc networking :
پدیدآورنده : edited by K. Al Agha, I. Guérin Lassous, G. Pujolle.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer networks.,Computer networks.,COMPUTERS-- Data Transmission Systems-- General.,COMPUTERS-- Networking-- Vendor Specific.,Informatique.
رده :
TK5105
.
5
.
M435
2005eb
15. Cognitive radio oriented wireless networks :
پدیدآورنده : Ingrid Moerman, Johann Marquez-Barja, Adnan Shahid, Wei Liu, Spilios Giannoulis, Xianjun Jiao (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cognitive radio networks, Congresses.,Cognitive radio networks.
رده :
TK5103
.
4815
16. Computer Aided Verification :
پدیدآورنده : Isil Dillig, Serdar Tasiran (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification, Congresses.,Computer science.,Logic design.,Software engineering.,Logic in AI.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Software Engineering.,System Performance and Evaluation.,The Computing Profession.,Artificial intelligence.,Computer industry.,Computer logic.,Computer programs-- Verification.,Computer science.,Logic design.,Software engineering.
رده :
QA76
.
758
.
C38
2019
17. Computer Networks :
پدیدآورنده : Piotr Gaj, Michał Sawicki, Andrzej Kwiecień, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer networks.
رده :
TK5105
.
5
.
C52
2019
18. Computer and communication engineering :
پدیدآورنده : Miguel Botto-Tobar, Julio Barzola-Monteses, Eduardo Santos-Baquerizo, Mayken Espinoza-Andaluz, Wendy Yánez-Pazmiño (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering, Congresses.,Computer networks, Congresses.,Software engineering, Congresses.,Computer engineering.,Computer networks.,Software engineering.
رده :
TK7885
.
A1
19. Computer networks, big data and IoT :
پدیدآورنده : A. Pasumpon Pandian, Xavier Fernando, Syed Mohammed Shamsul Islam, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Big data, Congresses.,Internet of things, Congresses.,Big data.,Internet of things.
رده :
TK5105
.
8857
.
I58
2020
20. Computer networks & communications (NetCom)
پدیدآورنده : Nabendu Chaki, Natarajan Meghanathan, Dhinaharan Nagamalai, editors
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses
رده :
TK5105
.
5
.
I58
2012